Buy Used and New Corina S . Pasareanu Books

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings: 5578 (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783642026515

Format: Paperback (297 pages)
Publisher: Springer
Published: 19 Jun 2009

Save for later